#include "bsp.h"
#include "uart/8250/8250.h"

void os_bsp_debug_init(void)
{
    uart_8250_init();
}

void os_bsp_debug_msg(char *msg)
{
    uart_8250_puts(msg);
}

void os_bsp_debug_char(char c)
{
    uart_8250_putc(c);
}